Demand analysis with partial predicates

Demand analysis with partial predicates

In order to alleviate the inefficiencies caused by the interaction of the logic and functional sides, integrated languages may take advantage of demand information — i.e. knowing in advance which computations are needed and, to which extent, in a particular context. This work studies demand analysis – which is closely related to backwards strictness analysis – in a semantic framework of partial...

Partial Predicates for Demand Analysis

Subjective Colocalization Analysis with Fuzzy Predicates

Understanding the protein-to-protein interactions at the subcellular level, as well as other organic molecules, is crucial to explain cellular functions and to elucidate disease mechanisms. These interactions can be captured visually by overlapping the fluorescent microscopic images of two proteins tagged with fluorescent labeling agents that react to green and red wavelengths respectively. Int...

Partial Communication and Collusion with Demand Uncertainty

This paper analyzes the role of communication between firms in an infinitely repeated Bertrand game in which firms receive an imperfect private signal of a common value i.i.d. demand shock. Communication allows firms to coordinate on the most collusive price and it eliminates the possibility of undetectable price cuts. It is shown that firms can use stochastic intertemporal market sharing as a ...

Stochastic inventory control with partial demand observability